Warning: mkdir(): No space left on device in /var/www/tg-me/post.php on line 37

Warning: file_put_contents(aCache/aDaily/post/yegor256news/--): Failed to open stream: No such file or directory in /var/www/tg-me/post.php on line 50
@yegor256 news | Telegram Webview: yegor256news/1368 -
Telegram Group & Telegram Channel
Интересная история случилась вчера с одним из моих pet-projects, а именно с Rultor — он перестал работать. Оказалось, причина в том, что я в течение благополучных 11-ти лет (а именно тогда был создан этот проект, задолго до GitHub Actions) интерпретировал comment ID в GitHub API как Integer. Вчера же их количество перевалило за 2,147,483,647 и весь мой Java код стал понимать свежие номера комментариев как отрицательные числа. Пришлось перейти на Long и все заработало. Проблема 2K, однако, в малом масштабе.

ps. Unit тестов на сверх большие номера comment ID у меня конечно же не было :(



tg-me.com/yegor256news/1368
Create:
Last Update:

Интересная история случилась вчера с одним из моих pet-projects, а именно с Rultor — он перестал работать. Оказалось, причина в том, что я в течение благополучных 11-ти лет (а именно тогда был создан этот проект, задолго до GitHub Actions) интерпретировал comment ID в GitHub API как Integer. Вчера же их количество перевалило за 2,147,483,647 и весь мой Java код стал понимать свежие номера комментариев как отрицательные числа. Пришлось перейти на Long и все заработало. Проблема 2K, однако, в малом масштабе.

ps. Unit тестов на сверх большие номера comment ID у меня конечно же не было :(

BY @yegor256 news


Warning: Undefined variable $i in /var/www/tg-me/post.php on line 283

Share with your friend now:
tg-me.com/yegor256news/1368

View MORE
Open in Telegram


@yegor256 news Telegram | DID YOU KNOW?

Date: |

Telegram announces Search Filters

With the help of the Search Filters option, users can now filter search results by type. They can do that by using the new tabs: Media, Links, Files and others. Searches can be done based on the particular time period like by typing in the date or even “Yesterday”. If users type in the name of a person, group, channel or bot, an extra filter will be applied to the searches.

@yegor256 news from ca


Telegram @yegor256 news
FROM USA